SPIN model checker - PDFSEARCH.IO - Document Search Engine

SPIN model checker
Results: 28

#	Item
21	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
22	McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III Add to Reading List Source URL: www.erlang.se Language: English - Date: 2006-10-05 09:14:51 Software Ericsson Erlang Model checking Queueing theory Model checkers QuickCheck SPIN model checker Computing Statistics Network performance
23	TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computer architecture Central processing unit Model checkers Model checking Multi-core processor CPU design SPIN model checker Concurrent data structure Formal verification Computing Parallel computing Electronic engineering
24	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
25	Symmetric Spin? Dragan Bosnacki1, Dennis Dams2 , and Leszek Holenderski1 1 Dept. of Computing Sci., Eindhoven University of Technology PO Box 513, 5600 MB Eindhoven, The Netherlands Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Physics SPIN model checker Promela Equivalence relation Trace Group Algorithm Symmetry Mathematics Algebra
26	Verifying Relay Circuits using State Machines P.H.J. van Eijk Utrecht University, Department of Philosophy Heidelberglaan 8, Utrecht, the Netherlands http://www.phil.ruu.nl/home/pve Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Promela Relay Data SPIN model checker Switch Telephone exchange Correctness Communications protocol Model checkers Electrical engineering Electromagnetism
27	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
28	PDF Document Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers

UPDATE